Merge pull request #429 from vikramkanigiri/vk/fix_sctlr_res1
authorAchin Gupta <[email protected]>
Thu, 19 Nov 2015 15:03:17 +0000 (15:03 +0000)
committerAchin Gupta <[email protected]>
Thu, 19 Nov 2015 15:03:17 +0000 (15:03 +0000)
Add missing RES1 bit in SCTLR_EL1


Trivial merge